منابع مشابه
Mechanized Mathematics
I t is indeed an honor to be invited to this platform. One has only to read the names of my distinguished predecessors to realize that, as the saying goes, I have thirty-seven acts that are hard to follow. As a mostly pure mathematician my concern is increased when I note that thirty-two of the lectures have dealt with applications of mathematics to other sciences. The true desperation of my pr...
متن کاملMechanized Mathematics and Its Applications
This paper describes optimization of the Takagi-Sugeno fuzzy model. To prove the existence of optimal control, we apply compactness of a set of membership functions in L space and continuity of approximate reasoning and show the existence of a pair of membership functions which minimize the quadratic performance function.
متن کاملPure Mathematics in a Mechanized Logic
It is widely believed that in principle it’s possible to reduce most of present-day mathematics to reasoning in a formal logical system. The technical difficulty of actually doing so is quite formidable. However, the arrival of the computer is changing this situation, since computers are good at helping with such tedious symbolic manipulation. The computer formalization of mathematics is now a ...
متن کاملManfred Kerber Proof Planning: a Practical Approach to Mechanized Reasoning in Mathematics
The attempt to mechanize mathematical reasoning belongs to the first experiments in artificial intelligence in the 1950 (Newell et al., 1957). However, the idea to automate or to support deduction turned out to be harder than originally expected. This can not at least be seen in the multitude of approaches that were pursued to model different aspects of mathematical reasoning. There are differe...
متن کاملThe Self-Mechanized Mind
From 1946 to 1953 ten conferences—the first nine held at the Beekman Hotel at 575 Park Avenue in New York, the last at the Nassau Inn in Princeton, New Jersey—brought together at regular intervals some of the greatest minds of the twentieth century. Sponsored by the Josiah Macy, Jr. Foundation, these meetings have since come to be known as the Macy Conferences. The mathematicians, logicians, en...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the American Mathematical Society
سال: 1966
ISSN: 0002-9904
DOI: 10.1090/s0002-9904-1966-11553-7